Model checking

Results: 996



#Item
111

Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Add to Reading List

Source URL: www.iasi.cnr.it

- Date: 2013-02-28 10:50:36
    112

    Page 1 of 8 Infotech@Aerospace 2012 Conference Logic Model Checking of Time-Periodic Real-Time Systems

    Add to Reading List

    Source URL: spinroot.com

    - Date: 2013-07-26 18:25:59
      113

      Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

      Add to Reading List

      Source URL: secgroup.dais.unive.it

      - Date: 2012-04-16 07:02:07
        114

        Form Methods Syst DesDOI Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification Paolo Zuliani · Andr´

        Add to Reading List

        Source URL: symbolaris.com

        - Date: 2014-08-04 10:08:34
          115

          Journal on Satisfiability, Boolean Modeling and ComputationUniversal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories Francesco Alberti

          Add to Reading List

          Source URL: jsat.ewi.tudelft.nl

          - Date: 2011-12-31 10:54:19
            116

            A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006

            Add to Reading List

            Source URL: www-i2.informatik.rwth-aachen.de

            - Date: 2006-10-23 09:28:13
              117

              Fairness Modulo Theory: A New Approach to LTL Software Model Checking Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, and Andreas Podelski University of Freiburg, Germany a ct

              Add to Reading List

              Source URL: ultimate.informatik.uni-freiburg.de

              - Date: 2015-06-23 06:01:21
                118

                Statistical Model Checking for Markov Decision Processes David Henriques∗† , Jo˜ao G. Martins∗‡ , Paolo Zuliani∗ , Andr´e Platzer∗ , Edmund M. Clarke∗ ∗ Computer † SQIG

                Add to Reading List

                Source URL: symbolaris.com

                - Date: 2014-08-04 10:11:57
                  119

                  MCWEB: A Model-Checking Tool for Web Site Debugging Luca de Alfaro Thomas A. Henzinger Freddy Y.C. Mang

                  Add to Reading List

                  Source URL: www10.org

                  - Date: 2001-02-07 00:11:20
                    UPDATE